Logic for Modeling Product Structure

نویسنده

  • Henson Graves
چکیده

A fragment of type theory with OWL class constructions for types and binary properties is used to formalize SysML Structural Block Diagram models. A structural SysML block diagram model is a model that does not have behavior in the sense that values of properties do not change. A structural model may include properties, variables and operations. Individuals are a special case of operators with no arguments. Type theory is chosen as the target semantic formalism as SysML constructions correspond closely to type theory term constructions. The type theoretic semantics defined in terms of introduction and elimination fits well with the informal SysML semantics. An abstract version of a structural model, called an Abstract Block Diagramversion of a structural model, called an Abstract Block Diagram (ABD), is introduced. An ABD is a theory closed under specific type, property, and operator constructions with additional axioms. The ABD corresponding to the SysML model contains axioms in the form of equations for types, and properties, and operators. This formalism captures the syntactic constructons of the SysML models and the type theoretic semantics appears to be in accord with the informal semantics, as documented in the OMG specification. ABD theory gives an explicit mechanism for introducing instances for types defined by property restrictions. This construction is useful for parts decompositions. ABD theory constructions have a limited kind of property union used to construct parts decompositions. An ABD determines a Description Logic (DL) closed under union, intersection, and existential type constructions and property constructions restricted by typing relations. The ABD constructions are useful in identifying potential extensions for SysML and may be useful, as well, for adding operator terms to Description Logic.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Design and Simulation of a 2GHz, 64×64 bit Arithmetic Logic Unit in 130nm CMOS Technology

The purpose of this paper is to design a 64×64 bit low power, low delay and high speed Arithmetic Logic Unit (ALU). Arithmetic Logic Unit performs arithmetic operation like addition, multiplication. Adders play important role in ALU. For designing adder, the combination of carry lookahead adder and carry select adder, also add-one circuit have been used to achieve high speed and low area. In mu...

متن کامل

Device and Circuit Performance Simulation of a New Nano- Scaled Side Contacted Field Effect Diode Structure

A new side-contacted field effect diode (S-FED) structure has beenintroduced as a modified S-FED, which is composed of a diode and planar double gateMOSFET. In this paper, drain current of modified and conventional S-FEDs wereinvestigated in on-state and off-state. For the conventional S-FED, the potential barrierheight between the source and the channel is observed to b...

متن کامل

Sensory Acceptability Modeling of Pistachio Green Hull’s Marmalade using Fuzzy Approach

The prediction of product acceptability is often an additive effect of individual fuzzy impressions developed by a consumer on certain underlying attributes characteristic of the product. In this paper, we present the development of a data-driven fuzzy-rule-based approach for predicting the overall sensory acceptability of pistachio green hull’s marmalade. The model was formulated using the Tak...

متن کامل

High-Speed Penternary Inverter Gate Using GNRFET

This paper introduces a new design of penternary inverter gate based on graphene nanoribbon field effect transistor (GNRFET). The penternary logic is one of Multiple-valued logic (MVL) circuits which are the best substitute for binary logic because of its low power-delay product (PDP) resulting from reduced complexity of interconnects and chip area. GNRFET is preferred over Si-MOSFET for circui...

متن کامل

AN ALGEBRAIC STRUCTURE FOR INTUITIONISTIC FUZZY LOGIC

In this paper we extend the notion of  degrees of membership and non-membership of intuitionistic fuzzy sets to lattices and  introduce a residuated lattice with appropriate operations to serve as semantics of intuitionistic fuzzy logic. It would be a step forward to find an algebraic counterpart for intuitionistic fuzzy logic. We give the main properties of the operations defined and prove som...

متن کامل

Low Delay Time All Optical NAND, XNOR and OR Logic Gates Based on 2D Photonic Crystal Structure

Background and Objectives: Recently, photonic crystals have been considered as the basic structures for the realization of various optical devices for high speed optical communication. Methods: In this research, two dimensional photonic crystals are used for designing all optical logic gates. A photonic crystal structure with a triangular lattice is proposed for making NAND, XNOR, and OR optica...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2010